A zero divisor is a non zero element
<i>a</i> of a commutative ring <var>R</var> such that there is a nonzero element <var>b</var> in <var>R</var> with <var>ab = 0<var>.